Semanticos

dbpedia > calculabilidad efectiva

formatos disponibles
Ordenar per

Artículo Wikipedia

Entscheidungsproblem

El Entscheidungsproblem (en castellano: problema de decisión) fue el reto en lógica simbólica de encontrar un algoritmo general que decidiera si una fórmula del cálculo de primer orden es un teorema. ...

Vols accedir a més continguts educatius?

Iniciar sessió Uneix-te a una classe
x

Afegir a Didactalia Arrastra el botón a la barra de marcadores del navegador y comparte tus contenidos preferidos. Más info...

Ajuda del joc
Juegos de anatomía
Selecciona nivel educativo